Towards an Epistemology for Software Representations
نویسنده
چکیده
The KBSE community is actively engaged in finding ways to represent software and the activities that relate to various stages in its lifecycle. While the wealth of modeling activities have, necessarily, been founded on first order logic based representations, this paper reports on research into Software Information Systems that has found the domain of software knowledge to be inherently second order. A facility for accurately representing second order constructs such as are found in the software domain is also presented.
منابع مشابه
Formal Representations of Belief
Epistemology is the study of knowledge and justified belief. Belief is thus central to epistemology. It comes in a qualitative form, as when Sophia believes that Vienna is the capital of Austria, and a quantitative form, as when Sophia's degree of belief that Vienna is the capital of Austria is at least twice her degree of belief that tomorrow it will be sunny in Vienna. Formal epistemology, as...
متن کاملThe conformity barriers of virtual technologies in higher education according to the masters' personal epistemology: a case study
The present study covered the conformity barriers of virtual technologies in higher education. It was a qualitative research and population composed of the masters in Kordistan university. The instrument was a semi-structured questionnaire and analyzed based on ground theory through NVIVO software. The most significant conditional causes for interaction were masters' imposed and authoritarian ...
متن کاملResearch Statement Dissertation Description
Broad Research Program My philosophical research aims to develop a general theory of pragmatic embodied epistemology. Pragmatic embodied epistemology is the philosophical investigation of the possibility conditions and normative principles for embodied agents to represent their world and to utilize the representations in their interactions with the world. Pragmatic embodied epistemology differs...
متن کاملMobile Knowledge, Karma Points, and Digital Peers: The Tacit Epistemology and Linguistic Representation of MOOCs
Media representations of massive open online courses (MOOCs) such as those offered by Coursera, edX and Udacity reflect tension and ambiguity in their bold promise of democratized education and global knowledge sharing. An approach to MOOCs that emphasizes the tacit epistemology of such representations suggests a richer account of the ambiguities of MOOCs, the unsettled linguistic and visual re...
متن کاملElement of justification in contemporary epistemology
The definition of propositional knowledge has been said to be: "knowledge is belief in justified truth" and belief, truth, and justified are necessary and adequate conditions in the actualization of knowledge. Many faults have been directed towards this three elemental definition, which some of them have been derived from the element of justification. This article reviews some of the most im...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1995